s:QOSet, a, b, b':|s|. (b <s b')  (((a < b)  (a < b'))) 

latex

Up	sets 1
Definitions of Statement	DSet, QOSet
Definitions	P & Q, t  T, , P  Q, P  Q, P  Q, x:A. B(x), DSet, QOSet
Lemmas	qoset wf, set car wf, assert of set lt, assert of bimplies, set lt wf, set blt wf, bimplies wf, assert wf, iff transitivity, set leq weakening lt, set lt transitivity 2